A theorem on acyclicity
نویسندگان
چکیده
منابع مشابه
On the Relationship of Joint Acyclicity and Super-Weak Acyclicity
Rules that allow existential quantifiers in the head (conclusion) have been studied extensively in knowledge representation, databases, and logic programming (in the related form of logic programs with function symbols). In general, it is not decidable if a set of such rules admits a finite model, but a number of sufficient conditions have been proposed to detect situations where this is the ca...
متن کاملA note on spectral mapping theorem
This paper aims to present the well-known spectral mapping theorem for multi-variable functions.
متن کاملOn Acyclicity of Games with Cycles
We study restricted improvement cycles (ri-cycles) in finite positional n-person games with perfect information modeled by directed graphs (digraphs) that may contain directed cycles (di-cycles). We obtain criteria of restricted improvement acyclicity (ri-acyclicity) in two cases: for n = 2 and for acyclic digraphs. We also provide several examples that outline the limits of these criteria and ...
متن کاملAcyclicity and reduction
The literature provides dichotomies involving homomorphisms (like the G0 dichotomy) or reductions (like the characterization of sets potentially in a Wadge class of Borel sets, which holds on a subset of a product). However, part of the motivation behind the latter result was to get reductions on the whole product, like in the classical notion of Borel reducibility considered in the study of an...
متن کاملAcyclicity in Three-manifolds
An acyclic compactum in an orientable, open 3-manifold has arbitrarily close, polyhedral neighborhoods whose components are compact 3-manifolds with a special structure. Frequently, these 3-manifolds have free fundamental groups. These observations and some results from combinatorial group theory are exploited to deduce facts about the homomorphism of fundamental groups induced by an acyclic ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1961
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1961-10534-x